I ringteori, en del af abstrakt algebra, er et ideal en speciel delmængde af en ring. Idealkonceptet generaliserer på passende vis vigtige egenskaber ved heltal, såsom "lige tal" og "multipla af 3."
Eksempelvis betragter man i ringe primidealer i stedet for primtal, og man kan bevise en generaliseret udgave af den kinesiske restklassesætning om idealer.
Et ideal kan bruges til konstruktion af en kvotientring på samme måde, som en normal undergruppe i gruppeteori kan benyttes til konstruktion af en kvotientgruppe.